Programming languages

Results: 18154



#Item
111

Algebraic Effects, Linearity, and Quantum Programming Languages Sam Staton Radboud University Nijmegen Abstract

Add to Reading List

Source URL: www.cs.ox.ac.uk

- Date: 2015-04-08 07:43:01
    112

    On Functional Logic Programming and its Application to Testing Sebastian Fischer Programming Languages and Compiler Construction Department of Computing Science Christian-Albrechts University of Kiel

    Add to Reading List

    Source URL: www-ps.informatik.uni-kiel.de

    - Date: 2014-06-15 10:42:57
      113

      Concepts of Programming Languages – Recitation 2: Natural Operational Semantics Oded Padon Reference:

      Add to Reading List

      Source URL: www.cs.tau.ac.il

      - Date: 2016-11-15 08:30:18
        114

        Concepts of Programming Languages – Recitation 1: Predictive Parsing Oded Padon Reference:

        Add to Reading List

        Source URL: www.cs.tau.ac.il

        - Date: 2016-11-09 03:31:53
          115

          Formal Syntax and Semantics of Programming Languages Mooly Sagiv Reference: Semantics with Applications Chapter 2

          Add to Reading List

          Source URL: www.cs.tau.ac.il

          - Date: 2016-11-26 08:22:59
            116

            Notes on Logical Relations and Parametricity Jeremy G. Siek March 24, 2015 These notes are based on Derek Dreyer’s lectures at the 2015 Oregon Programming Languages Summer School. T ::= Int | Bool | String | . . . | α

            Add to Reading List

            Source URL: dl.dropboxusercontent.com

              117

              I. Introduction Programming Languages J.J. Homing

              Add to Reading List

              Source URL: www.cs.umd.edu

              - Date: 2001-06-01 21:25:59
                118

                Formal Semantics of Programming Languages Mooly Sagiv Reference: Semantics with Applications Chapter 2

                Add to Reading List

                Source URL: www.cs.tau.ac.il

                - Date: 2014-03-24 02:48:08
                  119

                  Ubiquitous Object Orientation to Foster the Advancement of Programming Languages Darya Kurilova Carnegie Mellon University

                  Add to Reading List

                  Source URL: www.cs.cmu.edu

                  - Date: 2015-09-10 10:16:04
                    120

                    Concepts of Programming Languages – Recitation 1: Predictive Parsing Oded Padon Reference:

                    Add to Reading List

                    Source URL: www.cs.tau.ac.il

                    - Date: 2016-03-02 11:50:36
                      UPDATE